Categorical Models for Fairness: Completion vs Delay

نویسنده

  • Thomas T. Hildebrandt
چکیده

We study two different approaches to semantics for fairness within the categorical framework of presheaf models for concurrency [1, 2]. The first approach, used in e.g. dataflow models, is based on representing finite or infinite completed observations. A completed observation is the result of an infinite computation. A finite completed observation is then the result of an infinite computation that only produces finitely many actions, i.e. at some point it stops producing output but stays active (as opposed to being deadlocked). The second approach is that of e.g. Milner’s SCCS with finite delay [6], having an observable delay action and representing also finite incomplete observations, but only infinite completed observations. More precisely, we consider (separated) presheaves over respectively the category

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Categorical Models for Fairness and a Fully Abstract Presheaf Semantics of SCCS with Finite Delay?

We present a presheaf model for the observation of infinite as well as finite computations. We apply it to give a denotational semantics of SCCS with finite delay, in which the meanings of recursion are given by final coalgebras and meanings of finite delay by initial algebras of the process equations for delay. This can be viewed as a first step in representing fairness in presheaf semantics. ...

متن کامل

On Improving the Balance between the Completion Time and Decoding Delay in Instantly Decodable Network Coded Systems

This paper studies the complicated interplay of the completion time (as a measure of throughput) and the decoding delay performance in instantly decodable network coded (IDNC) systems over wireless broadcast erasure channels with memory, and proposes two new algorithms that improve the balance between the completion time and decoding delay of broadcasting a block of packets. We first formulate ...

متن کامل

Cross-layer Packet-dependant OFDM Scheduling Based on Proportional Fairness

This paper assumes each user has more than one queue, derives a new packet-dependant proportional fairness power allocation pattern based on the sum of weight capacity and the packet’s priority in users’ queues, and proposes 4 new cross-layer packet-dependant OFDM scheduling schemes based on proportional fairness for heterogeneous classes of traffic. Scenario 1, scenario 2 and scenario 3 lead r...

متن کامل

A New Fairness Index and Novel Approach for QoS-Aware Resource Allocation in LTE Networks Based on Utility Functions

Resource allocation techniques have recently appeared as a widely recognized feature in LTE networks. Most of existing approaches in resource allocation focus on maximizing network’s utility functions. The great potential of utility function in improving resource allocation and enhancing fairness and mean opinion score (MOS) indexes has attracted large efforts over the last few years. In this p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 40  شماره 

صفحات  -

تاریخ انتشار 2000